changed\{i:l\}($T$; ${\it eq}$; ${\it es}$; $x$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$isl(change{-}to\{i:l\}($T$; ${\it eq}$; ${\it es}$; $x$; $e$))